141. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده : edited by P. Dembinski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
142. Mathematical foundations of computer science, 1980: Proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Data base management-- Congresses,، Machine theory-- Congresses
رده :
QA
76
.
6
.
S9194
1980
143. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
پدیدآورنده : edited by A. Mazurkiewicz
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Formal languages,Congresses ، Machine theory,Congresses ، Computer programming
رده :
QA
267
.
3
.
S93
1976
144. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
پدیدآورنده : edited by A. Mazurkiewicz
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
45
145. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
پدیدآورنده : edited by J. Gruska and M. Chytil
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
146. Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranska Lomnica, September 5-9, 1977
پدیدآورنده : edited by J. Gruska
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
147. Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranska'Lomnica September 5-9, 1977
پدیدآورنده : edited by J. Gruska
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
53
148. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
149. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
150. Mathematical foundations of computer science : symposium at ..
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
45
,
etc
...
151. Mathematical foundations of computer science : symposium at ..
پدیدآورنده : A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
379
152. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
پدیدآورنده : A. Tarlecki )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
520
153. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
154. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
پدیدآورنده : Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Sequaential machine theory - Congresses,، Formal languages - Congresses
رده :
QA
267
.
5
.
S4S89
1975
155. Mathematical systems theory ; proceedings of the international symposium Udine, Italy June 16-27 .1975
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، System analysis - congresses,، Sequential machine theory - congresses,، Coding theory congresses
رده :
QA
402
.
C58
1975
156. PRICAI'96 : Topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August, 26-30, 1996 : proceedings
پدیدآورنده : Norman Foo, Randy Goebel )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Machine learning,Congresses ، Knowledge representation )Information theory(
رده :
QA
76
.
L28
Vol
.
1114
157. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
پدیدآورنده : edited by W. Brauer, W. Reisig, and G. Rozenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
254-255
158. Proceedings
پدیدآورنده : )Edited by Jerome Fox(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computers,Congresses ، Machine theory
رده :
TK
7885
.
S9
159. Proceedings
پدیدآورنده : Symposium on Computers and Automata, 1791, New York
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computers-- Congresses,، Machine theory-- Congresses
رده :
TK
7885
.
S9
1971
160. Proceedings
پدیدآورنده : / edited by Imre J.Rudas
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Machine theory- Congresses,Robotics- Congresses,Bionics- Congresses
رده :
TJ211
.
45
.
I345
1997